at the time when

在那个时候;(当…)的时候